Barra de Sheffer

Non conxunción
NAND

Outros nomes	Non E, Not AND
operador booleano	${\displaystyle \lnot (A\land B)}$
linguaxe natural	Non (A e B)
operador de conxuntos	${\displaystyle (A\cap B)^{C}}$
táboa de verdade	${\displaystyle {\begin{array}{c|c||c}A&B&A\uparrow B\\\hline V&V&F\\V&F&V\\F&V&V\\F&F&V\\\end{array}}}$
outros símbolos	${\displaystyle \uparrow }$, ${\displaystyle \mid }$, ${\displaystyle {\overline {\wedge }}}$
porta lóxica

Conectivas lóxicas
NOT (NON) ${\displaystyle \neg A}$, ${\displaystyle -A}$, ${\displaystyle {\overline {A}}}$, ${\displaystyle \sim A}$ AND (E) ${\displaystyle A\land B}$, ${\displaystyle A\cdot B}$, ${\displaystyle AB}$, ${\displaystyle A\&B}$, ${\displaystyle A\&\&B}$ NAND (NON E) ${\displaystyle A{\overline {\land }}B}$, ${\displaystyle A\uparrow B}$, ${\displaystyle A\mid B}$, ${\displaystyle {\overline {A\cdot B}}}$ OR (OU) ${\displaystyle A\lor B}$, ${\displaystyle A+B}$, ${\displaystyle A\mid B}$, ${\displaystyle A\parallel B}$ NOR (NON OU) ${\displaystyle A{\overline {\lor }}B}$, ${\displaystyle A\downarrow B}$, ${\displaystyle {\overline {A+B}}}$ XNOR (NON OU exclusivo) ${\displaystyle A\ {\text{XNOR}}\ B}$ └ equivalencia ${\displaystyle A\equiv B}$, ${\displaystyle A\Leftrightarrow B}$, ${\displaystyle A\leftrightharpoons B}$ XOR (OU exclusivo) ${\displaystyle A{\underline {\lor }}B}$, ${\displaystyle A\oplus B}$ └ non equivalencia ${\displaystyle A\not \equiv B}$, ${\displaystyle A\not \Leftrightarrow B}$, ${\displaystyle A\nleftrightarrow B}$ Implicación ${\displaystyle A\Rightarrow B}$, ${\displaystyle A\supset B}$, ${\displaystyle A\rightarrow B}$ Implicación recíproca ${\displaystyle A\Leftarrow B}$, ${\displaystyle A\subset B}$, ${\displaystyle A\leftarrow B}$
v c e

Nas funcións booleanas e no cálculo proposicional, a barra de Sheffer, NAND ("non e") ou non conxunción ^[1], denota unha operación lóxica que é equivalente á negación da operación de conxunción, expresada en linguaxe común como "non ambas as dúas ao mesmo tempo". En electrónica dixital, corresponde á porta NAND. Leva o nome de Henry Maurice Sheffer e escríbese como ${\displaystyle \mid }$ ou como ${\displaystyle \uparrow }$ ou como ${\displaystyle {\overline {\wedge }}}$ ou como ${\displaystyle Dpq}$ en notación polaca por Łukasiewicz (pero non como ||, usado a miúdo para representar a disxunción).

O seu dual é o operador NOR.

1. ↑ Howson, Colin (1997). Logic with trees: an introduction to symbolic logic. Londres; Nova York: Routledge. pp. 43. ISBN 978-0-415-13342-5.